Publications of
Salem Benferhat, Didier Dubois, Henri Prade, Mary-Anne Williams
A framework for iterated belief revision using possibilistic counterparts to Jeffrey’s rule
In : Fundamenta Informaticae, IOS Press, Special issue Methodologies for intelligent systems, Vol. 99 N. 2, pp. 147-168, 2010.
Salem Benferhat, Jonathan Ben-Naim, Odile Papini, Eric Würbel
An Answer Set Programming Encoding of Prioritized Removed Sets Revision : Application to GIS
In : Applied Intelligence, Springer, Vol. 32 N. 1, pp. 60-87, 2010.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
Modeling positive and negative information in possibility theory
In : International Journal of Intelligent Systems, Wiley, Special issue Bipolar Representations of Information and Preference (Part 2: reasoning and learning), Vol. 23 N. 10, pp. 1094-1118, 2008.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
Bipolar possibility theory in preference modeling: Representation, fusion and optimal solutions
In : Information Fusion, Elsevier, Vol. 7, pp. 135-150, 2006.
Anas Abou El Kalam, Rania El Baida, Philippe Balbiani, Salem Benferhat, Al. Et
ORBAC : un modèle de contrôle d’accès basé sur les organisations
In : Cahiers francophones de la recherche en sécurité de l’information, Vol. 2, pp. 30-40, 2003.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
Logique possibiliste et fusion d’informations
In : Technique et Sciences Informatique (N° Spécial Fusion de données numériques et d’informations symboliques), Hermès-Lavoisier, Vol. 22, RSTI série TSI, N. 7-8, pp. 1035-1064, 2003.
Salem Benferhat, Didier Dubois, Sylvain Lagrue, Henri Prade
a big-stepped probability approach for discovering default rules
In : International Journal of Uncertainty, Vol. 11, suppl., pp. 1-14, September 2003.
Logical representation and fusion of prioritized information based on guaranteed possibility measures: Application to the distance-based merging of classical bases
In : Artificial Intelligence, Vol. 148, pp. 291-333, 2003.
Fusion of possibilistic knowledge bases from a postulate point of view
In : International Journal of Approximate Reasoning (IJAR), Elsevier, Vol. 33, pp. 255-285, 2003.
Philippe Balbiani, Salem Benferhat
Dossier Temps, espace et évolutif
In : Bulletin de l’Afia, Vol. 51, pp. 30-40, 2002.
Salem Benferhat, Didier Dubois, Sylvain Lagrue, Odile Papini
Making revision reversible: an approach based on polynominals
In : Fundamenta Informaticae, Vol. 53, pp. 251-280, 2002.
Salem Benferhat, Didier Dubois, Henri Prade
The possibilistic handling of irrelevance in exception-tolerant reasoning
In : Annals of Mathematics and Artificial Intelligence, Kluwer Academic Publishers, The Netherlands, Vol. 35, pp. 29-61, 2002.
Nahla Ben Amor, Khaled Mellouli, Salem Benferhat, Didier Dubois, Henri Prade
A theoretical framework for possibilistic independence in a weakly ordered setting
In : International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, World Scientific Publishing Company, Vol. 10 N. 2, pp. 117-155, April 2002.
Salem Benferhat, Laurent Garcia
Handling locally stratified inconsistent knowledge bases
In : Studia Logica, Kluwer, The Netherlands, Vol. 70, pp. 77-104, 2002.
Salem Benferhat, Didier Dubois, Henri Prade, Mary-Anne Williams
A practical approach to revising prioritized knowledge bases
In : Studia Logica, Kluwer, The Netherlands, Vol. 70, pp. 105-130, 2002.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
Possibilistic merging and distance-based fusion of propositional information
In : Annals of Mathematics and Artificial Intelligence, Vol. 34 N. 1-3, pp. 217-252, 2002.
Salem Benferhat, Didier Dubois, Laurent Garcia, Henri Prade
On the transformation between possibilistic logic bases and possibilistic causal networks
In : International Journal of Approximate Reasoning, Elsevier, North-Holland, Vol. 29 N. 2, pp. 135-173, February 2002.
Salem Benferhat, Didier Dubois, Henri Prade, Régis Sabbadin
Exception-tolerant reasoning and decision under uncertainty using qualitative possibility theory
In : Künstliche Intelligenz (KI), Arendtap Desktop Publishing, Vol. 3, pp. 9-15, 2001.
Conference paper assignment
In : International Journal of Intelligent Systems, Special Issue on Data and Knowledge Fusion (Part I of II), John Wiley&Sons, Inc., Vol. 16 N. 10, pp. 1183-1192, October 2001.
Alain Appriou, Andre Ayoun, Salem Benferhat, Philippe Besnard, Isabelle Bloch, Laurence Cholvy, Roger Cooke, Frédéric Cuppens, Didier Dubois, Hélène Fargier, Michel Grabisch, Anthony Hunter, Rodolf Kruse, Jérôme Lang, Serafin Moral, Henri Prade, Alessandro Saffiotti, Philippe Smets, Claudio Sossai
Fusion: general concepts and characteristics
In : International Journal of Intelligent Systems, Special Issue on Data and Knowledge Fusion (Part I of II), John Wiley&Sons, Inc., Vol. 16 N. 10, pp. 1107-1134, October 2001.
Salem Benferhat, Didier Dubois, Henri Prade
Towards a possibilistic logic handling of preferences
In : Applied Intelligence, Kluwer Academic Publishers, Vol. 14, pp. 303-317, 2001.
Salem Benferhat, Alessandro Saffiotti, Philippe Smets
Belief functions and default reasoning
In : Artificial Intelligence Journal, Elsevier, The Netherlands, Vol. 122/1-2, pp. 1-69, September 2000.
Salem Benferhat, Didier Dubois, Henri Prade
Possibilistic and standard probabilistic semantics of conditional knowledge bases
In : Journal of Logic and Computation, Oxford University Press, Vol. 9 N. 6, pp. 873-895, 1999.
Salem Benferhat, Didier Dubois, Henri Prade
Practical Handling of Exception-tainted rules and independence information in possibilistic logic
In : Applied Intelligence, Vol. 9, pp. 101-127, 1998.
Salem Benferhat, Didier Dubois, Henri Prade
Nonmonotonic reasoning, conditional objects and possibility theory
In : Artificial Intelligence, Vol. 92 N. 1–2, pp. 259-276, May 1997.
Salem Benferhat, Didier Dubois, Henri Prade
Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study — Part 1: The flat case
In : Studia Logica, Vol. 58, pp. 17-45, 1997.
Salem Benferhat, Didier Dubois, Henri Prade
Connaissances conditionnelles et exceptions : Du raisonnement non-monotone à la théorie des possibilités
In : Revue d’Intelligence Artificielle (RIA), Hermès Science, Vol. 9, N. 4, pp. 475-521, 1995.
Salem Benferhat, Didier Dubois, Henri Prade
Interventions in Possibilistic Logic (regular paper)
In : International Conference on Scalable Uncertainty Management (SUM 2009), Washington DC (USA), 28/09/09-30/09/09, Lluis Godo, Andrea Pugliese (Eds.), Springer, LNAI 5785, pp. 40-54, 2009.
Salem Benferhat, Didier Dubois, Henri Prade, Mary-Anne Williams
A general framework for revising belief based using qualitative Jeffrey’s rule
In : International Symposium on Methodologies for Intelligent Systems (ISMIS 2009), Prague (République Tchéque), 14/09/09-17/09/09, Jan Rauch, Zbigniew Ras, Petr Berka, Tapio Elomaa (Eds.), Springer, Lecture Notes in Artificial Intelligence 5722, pp. 612-621, 2009.
Salem Benferhat, Jean-François Bonnefon, Philippe Chassy, Rui Da Silva Neves, Didier Dubois, Florence Dupin De Saint Cyr – Bannay, Daniel Kayser, Farid Nouioua, Sara Nouioua-Boutouhami, Henri Prade, Salma Smaoui
A comparative study of six formal models of causal ascription (regular paper)
In : International Conference on Scalable Uncertainty Management (SUM 2008), Naples (Italy), 01/10/08-03/10/08, Sergio Greco, Thomas Lukasiewicz (Eds.), Springer, LNAI 5291, pp. 47-62, September 2008.
Abstract URL : http://www.irit.fr/~Florence.Bannay/publis/sum08micrac.pdf
BibTeXCompiling Possibilistic Knowledge Bases
In : European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, 29/08/06-01/09/06, G. Brewka, S. Coradeschi, A. Perini, P. Traverso (Eds.), IOS Press, pp. 337-341, 2006.
Salem Benferhat, Jonathan Ben-Naim, Robert Jeansoulin, Mahat Khelfallah, Sylvain Lagrue, Odile Papini, Nic Wilson, Eric Würbel
Belief Revision of GIS Systems: The Results of REV!GIS (regular paper)
In : European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2005), Barcelona – Spain, 06/06/05-08/06/05, Springer, pp. 452-464, June 2005.
Encoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic
In : Proc. of the 9th International Joint Conference on Artificiel Intelligence (IJCAI’05), Edinburgh, Scotland, 31/07/05-05/08/05, Gallus, pp. 1281-1286, July 2005.
Jonathan Ben-Naim, Salem Benferhat, Odile Papini, Eric Würbel
An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS (regular paper)
In : European Conference on Logics in Artificial Intelligence (JELIA 2004), Lisbon, Portugal, 27/09/04-30/09/04, Springer, pp. 604-616, 2004.
Salem Benferhat, Didier Dubois, Henri Prade
Logique possibiliste avec calcul symbolique sur des poids partiellement contraints (regular paper)
In : Rencontres Francophones sur la Logique Floue et ses Applications (LFA 2004), Nantes, France, 18/11/04-19/11/04, Cépaduès Editions, pp. 67-74, November 2004.
Anas Abou El Kalam, Philippe Balbiani, Salem Benferhat, Frédéric Cuppens, Al. Et
Modèles et politiques de sécurité des systèmes d’information et de communication en santé et en social
In : Giseh 2003, xxx, 01/01/03-31/12/03, xxx, January 2003.
Anas Abou El Kalam, Rania El Baida, Philippe Balbiani, Salem Benferhat, Al. Et
Organization based access control
In : Policies for Distributed Systems and Networks (POLICY 2003), Como, 01/01/03-31/12/03, H. Lutfiyya, J. Moffett, F. Garcia (Eds.), Institute of Electrical and Electronics Engineers, pp. 120-131, January 2003.
Salem Benferhat, Rania El Baida, Frédéric Cuppens
Modélisation des politiques de sécurité dans le cadre de la théorie des possibilités
In : Flexible Query Answering Systems, 5th International Conference, (FQAS’02), Copenhagen, Denmark , 27/10/02-29/10/02, LNAI 2522, Springer-Verlag, Berlin, pp. 245-252, October 2002.
Salem Benferhat, Mohand Boughanem, Claude Chrisment, Nawel Nassr, Henri Prade
Disambiguation translation in multilingual queries
In : Proc. of the 9th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2002), Annecy- France, 01/07/02-05/07/02, IPMU, pp. 1375-1381, July 2002.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
Bipolar possibilistic representations
In : Proc. of the 18th. Conference on Uncertainty in Artificial Intelligence, UAI 2002, Edmonton-Canada, 01/08/02-04/08/02, Morgan Kaufmann Publishers, San Francisco – California, pp. 45-52, August 2002.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
Possibilistic logic representation of preferences: relating prioritized goals and satisfaction levels expressions
In : Proc. of the 15th. Eropean Conference on Artificial Intelligence, ECAI 2002, Lyon – France, 21/07/02-26/07/02, IOS Press, Amsterdam-The Netherlands, pp. 685-689, July 2002.
Salem Benferhat, Sylvain Lagrue, Odile Papini
Reasoning with partially ordered information in a possibilistic logic framework
In : Proc. of the Ninth International Conference, Information Processing and Management of Uncertainty in Knowledge-based Systems(IPMU 2002), Annecy-France, 01/07/02-05/07/02, ESIA-Université de Savoie, pp. 1047-1052, July 2002.
Salem Benferhat, Didier Dubois, Sylvain Lagrue, Henri Prade
A big-stepped probability approach for discovering default rules
In : Proc. of the Ninth International Conference, Information Processing and Management of Uncertainty in Knowledge-based Systems(IPMU 2002), Annecy-France, 01/07/02-05/07/02, ESIA-Université de Savoie, pp. 283-289, July 2002.
Fusion of possibilistic knowledge bases from a postulate point of view
In : Proc. of the 15th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2002), Pensacola Beach – Florida, 14/05/02-16/05/02, Susan Haller & Gene Simmons, pp. 519-523, May 2002.
Nahla Ben Amor, Salem Benferhat, Khaled Mellouli
Anytime possibilistic propagation algorithm
In : Proc. of the first International Conference, Soft-Ware 2002: Computing in an Imperfect World, Belfast, Northern Ireland, 08/04/02-10/04/02, Springer-Verlag, LNCS 2311, pp. 263-279, April 2002.
Salem Benferhat, Sylvain Lagrue, Odile Papini
Revising partially ordered beliefs
In : Proc. of the 9th International Workshop on Non-Monotonic Reasoning (NMR’2002), Toulouse, France, 19/04/02-21/04/02.
Salem Benferhat, Daniel Le Berre, Gerhard Brewka
Qualitative choice logic
In : Proc. of the 8th International conference, Principles of Knowledge Representation and Reasoning (KR2002), Toulouse-France, 22/04/02-25/04/02, Morgan Kaufmann Publishers, San Francisco, California, pp. 158-169, April 2002.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
Bipolar representation and fusion of preferences in the possibilistic logic framework
In : Proc. of the 8th International Conference, Principles of Knowledge Representation and Reasoning, Toulouse, France, 22/04/02-25/04/02, Morgan Kaufmann Publishers, San Francisco, California, pp. 421-432, April 2002.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
Représentation bipolaire et modification de préférences en logique possibiliste
In : 13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et d’Intelligence Artificielle (RFIA 2002), Angers-France, 08/01/02-10/01/02, Le Comité d’Organisation, pp. 955-964, January 2002.
Nahla Ben Amor, Salem Benferhat, Khaled Mellouli
Un algorithme de propagation pour les réseaux possibilistes basés sur le conditionnement ordinal
In : 13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et d’Intelligence Artificielle (RFIA 2002), Angers-France, 08/01/02-10/01/02, Le Comité d’Organisation, pp. 339-348, January 2002.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
Bridging logical, comparative and graphical possibilistic representation frameworks
In : Proc.of the 6th.European Conference (ECSQARU 2001), Toulouse, France, 19/09/01-21/09/01, Springer-Verlag, pp. 422-431, September 2001.
Nahla Ben Amor, Salem Benferhat, Khaled Mellouli
A two-steps algorithm for min-based possibilistic causal networks
In : Proc.of the 6th.European Conference (ECSQARU 2001), Toulouse, France, 19/09/01-21/09/01, Springer-Verlag, pp. 266-277, September 2001.
Salem Benferhat, Souhila Kaci, Daniel Le Berre, Mary-Anne Williams
Weakening conflicting information for iterated revision and knowledge integration
In : Proc. of the 17th International Joint Conference on Artificial Intelligence(IJCAI01), Seattle-USA, 04/08/01-10/08/01, Morgan Kaufmann Publishers, pp. 109-115, August 2001.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
Graphical readings of possibilisitc logic bases
In : Proc.of the 17th Conference Uncertainty in Artificial Intelligence (UAI01), Seattle-USA, 02/08/01-05/08/01, Morgan Kaufmann Publishers, pp. 24-31, August 2001.
Salem Benferhat, Didier Dubois, Sylvain Lagrue, Henri Prade
Towards learning default rules by identifying big-stepped probabilities
In : Proc.Joint 9th IFSA Congress and 20th NAFIPS International Conference, Vancouver-Canada, 25/07/01-28/07/01, IEEE Operations Center, pp. 1850-1855, July 2001.
Nahla Ben Amor, Salem Benferhat, Khaled Mellouli
Some issues on the coherence of min-based possibilistic causal Networks
In : Proc.Joint 9th IFSA World Congress and 20th NAFIPS International Conference, Vancouver-Canada, 25/07/01-28/07/01, IEEE Operations Center, pp. 604-609, July 2001.
A possibilisitc logic handling of strong preferences
In : Proc.Joint 9th IFSA Congress and 20th NAFIPS International Conference, Vancouver-Canada, 25/07/01-28/07/01, IEEE Operations Center, pp. 962-967, July 2001.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
Modification possibiliste de connaissances et de préférences
In : Journée Nationales sur les Modèles de Raisonnement (JNMR’01), Arras, 03/05/01-04/05/01.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
Encoding classical fusion in ordered knowledge bases framework
In : Proc. 8th Int. workshop on Non-Monotonic Reasoning (NMR-2000), Uncertainty frameworks in NMR, Breckenridge, Co, 09/04/00-11/04/00.
Salem Benferhat, Odile Papini, Sébastien Konieczny, Ramon Pino Pérez
Iterated revision by epistemic states: axioms, semantics and syntax
In : Proc. of the 14th European Conference on Artificial Intelligence (ECAI-2000), Berlin, 20/08/00-25/08/00, Humboldt University,IOS Press, Berlin, pp. 13-17, August 2000.
Salem Benferhat, Didier Dubois, Henri Prade
Kalman-like filtering and updating in a possibilistic setting
In : Proc.14th Europ.Conf.on Artificial Intelligence (ECAI 2000), Berlin, 20/08/00-25/08/00, IOS Press, pp. 8-12, August 2000.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
Encoding information fusion in possibilistic logic:A general framework for rational syntactic merging
In : Proc.14th Europ.Conf.on Artificial Intelligence (ECAI2000), Berlin, 20/08/00-25/08/00, IOS Press, pp. 3-7, August 2000.
Nahla Ben Amor, Salem Benferhat, Didier Dubois, Hector Geffner, Henri Prade
Independence in qualitative uncertainty frameworks
In : Proc.7th Int.Conf.on Principles of Knowledge Representation and Reasoning (KR 2000), Breckenridge, Co., 11/04/00-15/04/00, Morgan Kaufmann Publishers, Inc., San Francisco, California, pp. 235-246, April 2000.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
Codage de la fusion classique d’informations en logique possibiliste
In : Actes Rencontres Francophones sur la Logique Floue et ses Applications (LFA’2000), La Rochelle, 18/10/00-20/10/00, CEPADUES-EDITIONS, Toulouse, pp. 131-138, October 2000.
Salem Benferhat, Didier Dubois, Sylvain Lagrue, Henri Prade
Vers l’apprentissage de règles tolérant les exceptions avec des probabilités à grandes marches
In : Actes Rencontres francophones sur la Logique Floue et ses Applications (LFA’2000), La Rochelle, 18/10/00-20/10/00, Cepadues-Editions, Toulouse, pp. 317-324, October 2000.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
A principled analysis of merging operations in possibilistic logic
In : Proc.of 16th Conference on Uncertainty in Artificial Intelligence(UAI’00), Stanford, 30/06/00-03/07/00, Morgan Kaufmann, San Francisco, pp. 24-31, June 2000.
A new algorithm for fusing possibilistic knowledge bases
In : IMPU’2000, Madrid, 03/07/00-07/07/00, Graficas 82 S.L., Madrid, pp. 1546-1553, July 2000.
Nahla Ben Amor, Salem Benferhat, Khaled Mellouli
Possibilistic Independence vs Qualitative Independence
In : IMPU’2000, Madrid, 03/07/00-07/07/00, Graficas 82 S.L., Madrid, pp. 349-356, July 2000.
Salem Benferhat, Didier Dubois, Henri Prade
Independence relations in the possibilistic setting and their use.Extended abstract
In : Conf. invitée.Proc.Workshop on Partial Knowledge and Uncertainty: Independence, Conditioning, Inference, Rome (Italie), 04/05/00-06/05/00.
Nahla Ben Amor, Salem Benferhat, Didier Dubois, Hector Geffner, Henri Prade
Une approche qualitative de l’indépendance pour le raisonnement dans l’incertain
In : Actes 12e Congrès Francophone AFRIF-AFIA/RFIA’2000, Paris, 01/02/00-03/02/00, Télécom Paris, pp. 505-514, February 2000.
Salem Benferhat, Didier Dubois, Henri Prade, Mary-Anne Williams
A practical approach to revising prioritized knowledge-bases
In : In third International Conference on Knowledge-Based Intelligent Information Engineering Systems, KES’99, Adelaid-AUSTRALIE, 31/08/99-01/09/99, IEEE Press, pp. 170-174, August 1999.
Salem Benferhat, Didier Dubois, Henri Prade
Towards fuzzy default reasoning
In : Proceedings of the 18th International Conference of the North American Fuzzy Information Processing Society, New York, USA, 10/06/99-12/06/99, IEEE Service Center, pp. 23-27, June 1999.
Salem Benferhat, Didier Dubois, Odile Papini
A sequentiel reversible belief revision method based on polynomials
In : AAAI-99, IAAI-99, Orlando, Floride (USA), 18/07/99-22/07/99, AAAI Press/The MIT Press, 445, Burgess DriveMenlo ParkCalifornia 94025, pp. 733-738, July 1999.
Salem Benferhat, Didier Dubois, Henri Prade
Towards a possibilistic logic handling of preferences
In : IJCAI’9, Stockholm, Suède, 31/07/99-06/08/99, Thomas Dean, pp. 1370-1375, July 1999.
Salem Benferhat, Didier Dubois, Henri Prade, Mary-Anne Williams
A Practical Approach to Fusing Prioritized Knowledge Bases
In : 9th Portuguese Conference on Artificial Intelligence (EPIA’99), Evora,Portugal, 21/09/99-24/09/99, LNCS 1695, Springer Verlag, Berlin, Allemagne, pp. 222-236, September 1999.
Salem Benferhat, Didier Dubois, Laurent Garcia, Henri Prade
Possibilistic logic bases and possibilistic graphs
In : 15th Conference on Uncertainty in Artificial Intelligence (UAI’99), Stockholm, Morgan Kaufmann, San Francisco, Ca., pp. 57-64, July 1999.
Salem Benferhat, Didier Dubois, Laurent Garcia, Henri Prade
Réseaux possibilistes orientés et logique possibiliste
In : Actes du 11ème Congrès « Reconnaissance des Formes et Intelligence Artificielle » (RFIA’98), Clermont-Ferrand, France, AFCET, Paris, pp. 235-244, January 1998.
Salem Benferhat, Didier Dubois, Jérôme Lang, Henri Prade, Alessandro Saffiotti, Philippe Smets
A general approach for inconsistency handling and merging information in prioritized knowledge bases
In : Proc. of 6th Int. Conf. Principles of Knowledge Representation and Reasoning, Trento, Italy, Morgan Kaufmann, San Francisco, CA, pp. 466-477, June 1998.
Salem Benferhat, Claudio Sossai
Merging uncertain knowledge bases in a possibilistic logic framework
In : Proceedings of 14th Conference on Uncertainty in Artificial Intelligence (UAI’98), Madison, WI, USA, Morgan Kaufmann, San Francisco, CA, pp. 8-15, July 1998.
Salem Benferhat, Didier Dubois, Jérôme Lang, Henri Prade, Alessandro Saffiotti, Philippe Smets
Reasoning under inconsistency based on implicitly-specified partial qualitative probability relations: a unified framework
In : 15th National Conferenc on Artificial Intelligence (AAAI-98), Madison, WI, AAAI Press, Menlo Park, Ca., pp. 121-126, July 1998.
Salem Benferhat, Didier Dubois, Laurent Garcia, Henri Prade
Directed possibilistic graphs and possibilistic logic
In : Proceedings of 7th International Conference on InformationProcessing and Management of Uncertainty in Knowledge-basedSystems (IPMU’98), Paris, Editions EDK, Paris, pp. 1470-1471, July 1998.
Salem Benferhat, Philippe Besnard, Laurence Cholvy, Robert Demolombe, Didier Dubois, Olivier Gasquet, Jean-Louis Golmard, Andreas Herzig, Pierre Marquis, Yves Moinard, Henri Prade, Camilla Schwind
Lois, structures et dépendances
In : Actes des 6èmes Journées Nationales du PRC-GDR Intelligence Artificielle (S. Pesty, P. Siegel, eds.), Grenoble, Hermès, Paris, pp. 145-160, March 1997.
Salem Benferhat, Didier Dubois, Henri Prade
Possibilistic semantics of conditional knowledge
In : U.S. National conf. on Artificial Intelligence (AAAI’97 – IAAAI’97), Providence, RI, The MIT Press, Menlo Park, California, pp. 70-75, July 1997.
Salem Benferhat, Didier Dubois, Henri Prade
Syntactic combination of uncertain information: Possibilistic approach
In : Proc. of the 1st Inter. Joint Conf. on Qualitative and Quantitative Practical Reasoning (ECSQARU/FAPR’97), BadHonnef, Germany, Lecture Notes in Artificial Intelligence, Vol. 1244, Springer Verlag, Berlin, pp. 30-42, June 1997.
Salem Benferhat, Laurent Garcia
A coherence-based approach to default reasoning
In : Proc. of the 1st Inter. Joint Conf. on Qualitative and Quantitative Practical Reasoning (ECSQARU/FAPR’97), Bad Honnef, Germany, Lecture Notes in Artificial Intelligence, Vol. 1244, Springer Verlag, Berlin, pp. 43-57, June 1997.
Salem Benferhat, Florence Dupin De Saint Cyr – Bannay
Contextual handling of conditional knowledge
In : Proc. of the 6th Inter. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU’96), Granada, Spain, 01/07/96-05/07/96.
URL : http://www.irit.fr/~Florence.Bannay/publis/IPMU96.ps.gz
BibTeXSalem Benferhat, Didier Cayrac, Didier Dubois, Henri Prade
Explaining away in a possibilistic setting
In : Proc. of the 6th Inter. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU’96), Granada, Spain, .
Salem Benferhat, Didier Dubois, Henri Prade
From linear possibility distributions to a non-infinitesimal probabilistic semantics of conditional knowledge
In : Proc. of the 1996 Inter. Multidisciplinary Conf. on Intelligent Systems: A Semiotic Perspective, Gaithersburg, Maryland, .
Salem Benferhat, Didier Dubois, Henri Prade
Inconsistency-tolerant inference in prioritized knowledge bases
In : Proc. of the Inter. Seminar on Fuzzy Sets, Logics, and Artificial Intelligence (LINZ’96), Linz, Austria, 20/02/96-24/02/96.
Salem Benferhat, Didier Dubois, Henri Prade
Gestion d’informations contradictoires dans les systèmes à base de connaissances
In : Proc. of the 4th Maghrebian Conf. on Software Engineering and Artificial Intelligence (MCSEAI’96), Alger, Algérie, 14/04/96-18/04/96.
Salem Benferhat, Didier Dubois, Henri Prade
Beyond counter-examples to nonmonotonic formalisms: A possibility-theoretic analysis
In : Proc. of the 12th Europ. Conf. on Artificial Intelligence (ECAI’96) (W. Wahlster, ed.), Budapest, Hungary, John Wiley & Sons, New York, pp. 652-656, August 1996.
Salem Benferhat, Didier Dubois, Henri Prade
Coping with the limitations of rational inference in the framework of possibility theory
In : Proc. of the 12th Conf. on Uncertainty in Artificial Intelligence, Portland, Or, Morgan & Kaufmann, San Mateo, CA, pp. 90-97, August 1996.
Salem Benferhat, Didier Dubois, Henri Prade
Reasoning in inconsistent stratified knowledge bases
In : Proc. of the 26 Inter. Symp. on Multiple-Valued Logic (ISMVL’96), Santiago de Compostela, Spain, 29/05/96-31/05/96, IEEE, pp. 184-189, May 1996.
Salem Benferhat, Didier Dubois, Henri Prade
A conditional approach to possibilistic abduction
In : Proc. of the 3rd Europ. Congress on Intelligent Techniques and Soft Computing (EUFIT’95), Aachen, Germany, 28/08/95-31/08/95.
Salem Benferhat, Didier Dubois, Henri Prade
Possibilistic semantics of nonmonotonic consequence relationship
In : Proc. of the 3rd Europ. Congress on Intelligent Techniques and Soft Computing (EUFIT’95), Aachen, Germany, 28/08/95-31/08/95.
Salem Benferhat, Alessandro Saffiotti, Philippe Smets
Belief functions and default reasoning
In : Proc. of the 11th Conf. on Uncertainty in Artificial Intelligence, –, Morgan Kaufmann, pp. 19-26, January 1995.
Salem Benferhat, Didier Dubois, Henri Prade
How to infer from inconsistent beliefs without revising?
In : Proc. of the 14th Inter. Joint Conf. on Artificial Intelligence (IJCAI’95), Montréal, Canada, 20/08/95-25/08/95, Morgan Kaufmann, pp. 1449-1455, August 1995.
Salem Benferhat, Didier Dubois, Henri Prade
Possibilistic independence and plausible reasoning
In : Proc. of the Conf. on Foundations and Applications of Possibility Theory (FAPT’95), Ghent, Belgium, 13/12/95-15/12/95, World Scientific, Singapore, pp. 47-63, December 1995.
Salem Benferhat, Didier Dubois, Henri Prade
A local approach to reasoning under inconsistency in stratified knowledge bases
In : Symbolic and Quantitative Approaches to Reasoning and Uncertainty (Proc. of the Europ. Conf. ECSQARU’95) (C. Froidevaux, J. Kohlas, eds.), Lecture Notes in Artificial Intelligence, Vol. 946, Fribourg, Switzerland, Springer Verlag, Berlin, July 1995.
Salem Benferhat, Didier Dubois, Henri Prade
Représentation des connaissances conditionnelles
In : “, Proc. of the 3rd Maghrebian Conf. on Software Engineering and Artificial Intelligence (MCSEAI’94), Rabat, Algérie, 11/04/94-14/04/94.
Traitement possibiliste des règles avec exceptions
In : Actes des 4èmes Journées Nationales sur les Applications des Ensembles Flous, Lille, 01/12/94-02/12/94.
Salem Benferhat, Didier Dubois, Henri Prade
Expressing independence in a possibilistic framework and its application to default reasoning
In : Proc. of the 11th Europ. Conf. on Artificial Intelligence (ECAI’94), Amsterdam, The Netherlands, 08/08/94-12/08/94, Wiley, New York, pp. 150-154, August 1994.
Salem Benferhat, Didier Dubois, Henri Prade
Inférence argumentée dans les bases de connaissances inconsistantes et stratifiées
In : Actes du 9ème Congress “Reconnaissance des Formes et Intelligence Artificielle”, Paris, 11/01/94-14/01/94, ., pp. 495-506, January 1994.
Salem Benferhat, Didier Dubois, Henri Prade
Possibilistic logic: From nonmonotonicity to logic programming
In : Symbolic and Quantitative Approaches to Reasoning and Uncertainty (Proc. of the Europ. Conf. ECSQARU’93) (M. Clarke, R. Kruse, S. Moral, eds.), Lecture Notes in Computer Science, Granada, Spain, Springer Verlag, Berlin, pp. 17-24, November 1993.
Salem Benferhat, Didier Dubois, Henri Prade
Argumentative inference in uncertain and inconsistent knowledge base
In : Proc. of the 9th Conf. on Uncertainty in Artificial Intelligence, Washington, DC, 09/07/93-11/07/93, Morgan Kaufmann, San Mateo, CA, pp. 411-419, July 1993.
Salem Benferhat, Claudette Cayrol, Didier Dubois, Jérôme Lang, Henri Prade
Inconsistency management and prioritized syntax-based entailment
In : Proc. of the 13th Inter. Joint Conf. on Artificial Intelligence (IJCAI’93), Chambéry, 28/08/93-03/09/93, ., pp. 640-645, August 1993.
Logique possibiliste et application au raisonnement hypothétique
In : Actes des 2ème Journées Nationales sur les Applications des Ensembles Flous, Nîmes, 02/11/92-03/11/92, EC2, Nanterre, pp. 57-64, November 1992.
Salem Benferhat, Didier Dubois, Henri Prade
Representing default rules in possibilistic logic
In : Proc. of the 3rd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR’92), Cambridge, 26/10/92-29/10/92, MA, pp. 673-684, October 1992.
Souhila Kaci, Salem Benferhat, Didier Dubois, Henri Prade
Possibilistic logic: A theoretical framework for multiple source information fusion
In : Soft Computing in Measurement and Information Acquisition. L. Reznik, V. Kreinovich (Eds.) , Springer-Verlag, pp. 68-89, Vol. 127, 2003.
Nahla Ben Amor, Salem Benferhat, Khaled Mellouli
Qualitative possibilistic independence based on plausibility relations
In : Technologies for Constructing Intelligent Systems 2. Bernadette Bouchon-Meunier, Julio Gutiérrez-Rios, Luis Magdalena, Ronald R. Yager (Eds.) , Janusz Kacprzyk, Warsaw, Poland, pp. 31-44, Vol. 90, Studies in Fuzziness and Soft Computing, 2002.
Salem Benferhat, Didier Dubois, Henri Prade
A computational model for belief change and fusing ordered belief bases
In : Frontiers in Belief Revision. Mary-Anne Williams, Hans Rott (Eds.) , Kluwer Academic Publishers, pp. 109-134, 2001.
Salem Benferhat, Didier Dubois, Henri Prade
Towards a possibilistic logic handling of preferences
In : Aiding decisions with multiple criteria (essays in honor of Bernard Roy). Denis Bouyssou, Eric Jacquet-Lagrèze, Patrice Perny, Roman Slowinsky, Daniel Vanderpooten (Eds.) , Kluwer Academic Publishers, pp. 315-337, 2001.
Computing specificity in default reasoning
In : Algorithms for Uncertainty and Defeasible Reasoning. Jürg Kohlas, Serafin Moral (Eds.) , Kluwer Academic Publishers, Dordrecht, The Netherlands, pp. 147-177, Vol. 5, Handbook of Defeasible Reasoning and Uncertainty Management (Gabbay D., Smets P., Eds.)Systems, 2001.
Salem Benferhat, Didier Dubois, Hélène Fargier, Henri Prade, Régis Sabbadin
Decision, nonmonotonic reasoning and possibilistic logic
In : Logic-Based Artificial Intelligence. Jack Minker (Eds.) , Kluwer Academic Publishers, pp. 333-358, 2000.
Salem Benferhat, Didier Dubois, Henri Prade
An overview of possibilistic logic and its applications to nonmonotonic reasoning and data fusion
In : Computational Intelligence in Data Mining. G. Della Riccia, R. Kruse, H.J. Lenz (Eds.) , Springer-Verlag, Berlin, pp. 69-93, 2000.
Salem Benferhat, Henri Farreny, Henri Prade
Possibilistic rule-based inference: a case study in financial analysis
In : Soft Computing in Financial Engineering. R. Ribeiro, H.-J. Zimmermann, R. Yager, J. Kacprzyk (Eds.) , Physica-Verlag, Heidelberg, Allemagne, pp. 301-319, 1999.
Salem Benferhat, Didier Dubois, Laurent Garcia, Henri Prade
Directed possibilistic graphs and possibilistic logic
In : Information, Uncertainty and Fusion. B. Bouchon-Meunier, R. R. Yager, L. A. Zadeh (Eds.) , Kluwer, Boston, Mass., pp. 365-379, 1999.
Salem Benferhat, Didier Dubois, Henri Prade
An overview of inconsistency-tolerant inferences in prioritized knowledge bases
In : Fuzzy Sets, Logic and Reasoning about Knowledge. D. Dubois, H. Prade, E.P. Klement (Eds.) , Kluwer, Dordrecht, Pays-Bas, pp. 395-417, Vol. 15, Applied Logic Series, 1999.
Infinitesimal theories of uncertainty for plausible reasoning
In : Quantified Representation of Uncertainty and Imprecision. Dov M. Gabbay, Philippe Smets (Eds.) , Kluwer Academic Publishers, The Netherlands, pp. 303-356, Vol. 1, Handbook of Defeasible Reasoning and Uncertainty Management, 1998.
Salem Benferhat, Laurent Garcia
A local handling of inconsistent knowledge and default bases
In : Applications of Uncertainty Formalisms. A. Hunter, S. Parsons (Eds.) , Springer, Berlin, pp. 323-353, 1998.
Salem Benferhat, Didier Dubois, Henri Prade
Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study Part 2: The prioritized case
In : Logic at work. Ewa Orlowska (Eds.) , Physica-Verlag, Heidelberg, pp. 473-511, Vol. 24, 1998.
Salem Benferhat, Didier Dubois, Henri Prade
From semantic to syntactic approaches to information combination in possibilistic logic
In : Aggregation and Fusion of Imperfect Information. B. Bouchon-Meunier (Eds.) , Physica-Verlag, Heidelberg, pp. 141-161, Vol. 12, 1998.
Salem Benferhat, T. Chehire, F. Fluvio Monai
Possibilistic ATMS in a data fusion problem
In : Fuzzy Information Engineering: A Guided Tour of Applications. D. Dubois, H. Prade, R.R. Yager (Eds.) , John Wiley & Sons, New York, pp. 417-435, 1997.
Handling hard rules and default rules in possibilistic logic
In : Advances in Intelligent Computing ? IPMU’94 (Selected Papers of the IPMU’94 Conf.) Lecture Notes in Computer Science. B. Bouchon-Meunier, R.R. Yager, L.A. Zadeh (Eds.) , Springer Verlag, Berlin, pp. 302-310, Vol. 945, 1995.
Salem Benferhat, Didier Dubois, Jérôme Lang, Henri Prade
Hypothetical reasoning in possibilistic logic: basic notions and implementation issues
In : Between Mind and Computer, Fuzzy Science and Engineering. P.Z. Wang, K.F. Loe (Eds.) , World Scientific Publ., Singapore, pp. 1-29, Vol. I, 1994.
Evolution des croyances et raisonnement plausible – Modèles qualitatifs –
HDR, Université Paul Sabatier, December 2000.
Raisonnement non-monotone et traitement de l’inconsistance en logique possibiliste
Master’s Thesis, Université Paul Sabatier, February 1994.